quotient space in vector space